Read_File

open fun Read_File(File: File): String

read file into string

Return

the string

Parameters

File

the file to read


open fun Read_File(File_Name: String): String

read file into string

Return

the string

Parameters

File_Name

the filename